Validation and verification of computer forensic software tools—Searching Function
نویسندگان
چکیده
منابع مشابه
DIGITAL FORENSIC RESEARCH CONFERENCE Validation And Verification Of Computer Forensic Software Tools-Searching Function
The process of using automated software has served law enforcement and the courts very well, and experienced detectives and investigators have been able to use their welldeveloped policing skills, in conjunction with the automated software, so as to provide sound evidence. However, the growth in the computer forensic field has created a demand for new software (or increased functionality to exi...
متن کاملComputer Forensic Function Testing: Media Preparation, Write Protection And Verification
The growth in the computer forensic field has created a demand for new software (or increased functionality to existing software) and a means to verify that this software is truly forensic i.e. capable of meeting the requirements of the trier of fact. In this work, we review our previous work---a function oriented testing framework for validation and verification of computer forensic tools. Thi...
متن کاملSoftware verification and validation - a practitioner's guide
Follow up what we will offer in this article about software verification and validation a practitioners guide. You know really that this book is coming as the best seller book today. So, when you are really a good reader or you're fans of the author, it does will be funny if you don't have this book. It means that you have to get this book. For you who are starting to learn about something new ...
متن کاملSoftware Verification and Validation with Destiny:
This paper presents an introduction to computer-aided theorem proving and a new approach using parallel processing to increase power and speed of computation. Automated theorem provers, along with human interpretation, have been shown to be powerful tools in verifying and validating computer software. Destiny, while still in developmental stages, has shown promise for deeper and more powerful a...
متن کاملComputer Forensic Functions Testing: Media Preparation, Write Protection and Verification
The growth in the computer forensic field has created a demand for new software (or increased functionality to existing software) and a means to verify that this software is truly forensic i.e. capable of meeting the requirements of the trier of fact. In this work, we review our previous work---a function oriented testing framework for validation and verification of computer forensic tools. Thi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Digital Investigation
سال: 2009
ISSN: 1742-2876
DOI: 10.1016/j.diin.2009.06.015